首页> 外文OA文献 >Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory

【2h】

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory

机译：构造型理论中Lambda演算的α结构归纳与递归

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Copello, Ernesto; Tasistro, Alvaro; Szasz, Nora; Bove, Ana; Fernandez, Maribel;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory [J] . Ernesto Copello, álvaro Tasistro, Nora Szasz, Electronic Notes in Theoretical Computer Science . 2016,第1期

机译：构造型理论中Lambda演算的α结构归纳与递归
2. Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda [J] . Sebastián Urciuoli, álvaro Tasistro, Nora Szasz Electronic Notes in Theoretical Computer Science . 2020,第6期

机译：使用AGDA的建设性型理论中简单类型的Lambda微积分的强烈标准化
3. Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory [J] . Ernesto Copello, Nora Szasz, álvaro Tasistro Electronic Notes in Theoretical Computer Science . 2018,第1期

机译：构造型理论中使用Barendregt变量约定的Lambda微积分的Church-Rosser定理的机器检验证明
4. Linearity and Recursion in a Typed Lambda-Calculus [C] . Sandra Alves, Maribel Fernandez, Mario Florido, Proceedings of the 2011 symposium on principles and practices of declarative programming. . 2011

机译：类型Lambda演算中的线性和递归
5. AUTOMATING REASONING IN AN IMPLEMENTATION OF CONSTRUCTIVE TYPE THEORY. [D] . HOWE, DOUGLAS JAMES. 1988

机译：在实施建设性类型理论中的自动推理。
6. Induction of lambda 1-immunoglobulin is determined by a regulatory gene (r lambda 1) linked (or identical) to the structural (c lambda 1) gene [O] . 1983

机译：λ1-免疫球蛋白的诱导由与结构（cλ1）基因连锁（或相同）的调节基因（rλ1）确定
7. Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory [O] . Copello Ernesto, Tasistro Álvaro, Szasz Nora, 2016

机译：构造型理论中Lambda演算的α结构归纳与递归
8. Unified Approach to Type Theory through a Refined lambda-Calculus [R] . Nederpelt, R., Kamareddine, F. 1992

机译：通过精化lambda-Calculus统一理论类型理论

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory

著录项

引文网络

相似文献

相关主题

期刊订阅